]> dgit.raspbian.org Git - gnome-shell.git/commit
dash: Make padding even on the top/bottom of the dash
authorJasper St. Pierre <jstpierre@mecheye.net>
Sat, 22 Sep 2012 17:25:02 +0000 (14:25 -0300)
committerJasper St. Pierre <jstpierre@mecheye.net>
Mon, 1 Oct 2012 09:49:13 +0000 (06:49 -0300)
commit7206b61838efc727de4d6cfb8ae8a0a8e240eb54
tree2ed024f785c4940310204f04f631ab93c35a0632
parente8ab0b3e8f2a9af44765fd319f3cfffbe2dd6b9c
dash: Make padding even on the top/bottom of the dash

When Florian landed the new dash container to show the all apps button
always, he got the math wrong -- he forgot to add padding around the
container, and used the height of the box to calculate a y2 position,
rather than the y2 position of the box.

https://bugzilla.gnome.org/show_bug.cgi?id=684619
js/ui/dash.js